IFAC Workshop on Dependable Control of Discrete Event Systems DCDS’07, Paris 13-15 June 2007 PANDORA 2: THE TIME OF PRIORITY-OR GATES
نویسندگان
چکیده
Pandora is a recently proposed technique that extends classical Fault Tree Analysis to incorporate the effects of the temporal ordering of failure events. In this paper, we extend the conceptual foundation of Pandora with a new Priority-OR (POR) gate and we introduce the concept of a Temporal Truth Table as a mechanism that can be used to prove equivalence of expressions in Pandora logic. We also show how logical reduction can be performed using a set of temporal laws in the new logic and how such analysis can enrich the results of an extended FTA performed on a generic example that exhibits both PAND and POR failure characteristics. Copyright © 2007 IFAC
منابع مشابه
Marking Estimation of Petri Nets with Arbitrary Transition Labeling
In this paper we deal with the problem of estimating the marking of an arbitrary labeled Petri net system where two forms of nondeterminism may occur. Firstly, there may exist unobservable transitions, i.e., transitions labeled with the empty string. Secondly, there may exist undistinguishable transitions, i.e., two or more transitions sharing the same symbol taken from a given alphabet E may s...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملDetermination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملPandora: the Time of Priority-and Gates
Classical Fault Tree Analysis (FTA) can determine the effects of combinations of failure events on a system but cannot capture the potentially critical significance of the temporal ordering of events. In this paper, we propose a temporal extension based on the use of Priority-AND gates to allow relative temporal ordering and temporal analysis in FTA. The classical notion of minimal cut-sets is ...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کامل